ARM: VGIC: rework events_need_delivery()
authorAndre Przywara <andre.przywara@linaro.org>
Tue, 6 Feb 2018 17:08:59 +0000 (17:08 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Thu, 8 Feb 2018 21:18:10 +0000 (13:18 -0800)
commita76dd67e5a3cf7b7065973ff78b39e876c0b879a
treefe352fbf33aefb95e3e595196641c94beb9aff93
parentff9978602bb7457fad13f4319c28ef88dd581e3b
ARM: VGIC: rework events_need_delivery()

In event.h we very deeply dive into the VGIC to learn if an event for
a guest is pending.
Rework that function to abstract the VGIC specific part out. Also
reorder the queries there, as we only actually need to check for the
event channel if there are no other pending IRQs.

Signed-off-by: Andre Przywara <andre.przywara@linaro.org>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/vgic.c
xen/include/asm-arm/event.h
xen/include/asm-arm/vgic.h